منابع مشابه
Generalized Widening
We present a new threat based search algorithm that outperforms other threat based search algorithms and selective knowledge-based for open life and death problem solving in the game of Go. It generalizes the Iterative Widening algorithm which consists in iteratively increasing the threat searched at the root. The main idea of Generalized Widening is to perform Iterative Widening at all max nod...
متن کاملWidening Sharing
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither plain Sharing nor its non-redundant (but equivalent) abstraction scale well to real programs, we consider the domain proposed by C. Fecht [11, 12]. This domain consists of a combination of Pos with a quite weak abstraction of Sharing. While verifying that this domain ...
متن کاملLookahead Widening
We present lookahead widening, a novel technique for using existing widening and narrowing operators to improve the precision of static analysis. This technique is both self-contained and fully-automatic in the sense that it does not rely on separate analyzes or human involvement. We show how to integrate lookahead widening into existing analyzers with minimal effort. Experimental results indic...
متن کاملIterative Widening
We propose a method to gradually expand the moves to consider at the nodes of game search trees. The algorithm begins with an iterative deepening search using the minimal set of moves, and if the search does not succeed, iteratively widens the set of possible moves, performing a complete iterative deepening search after each widening. When designing carefully the different sets of possible move...
متن کامل9 Widening Indications
Apart from support of heart rate in patients of symptomatic bradycardia, in the last two decades, the indications of pacemakers have widened to prevent arrhythmias, optimise hemodynamic functions and suppress tachyarrhythmias. Pacemakers have been successfully used in Hypertrophic Obstructive Cardiomyopathy (HOCM) to reduce LVOT gradient and in improving cardiac output in patients of dilated ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature Reviews Neuroscience
سال: 2017
ISSN: 1471-003X,1471-0048
DOI: 10.1038/nrn.2017.49